Make examples/sequential_aigs/StateMachine.cry typecheck.
Make examples/sequential_aigs/StateMachine.cry typecheck.

Fixes #275.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script