Fix implementation of append in symbolic simulator
Fix implementation of append in symbolic simulator

The case 'VWord # VStream' was previously missing from the definition.
This addresses issue #131.

GaloisInc/cryptol,ntc2/cryptol,GaloisInc/cryptol,GaloisInc/cryptol