Interpreter prints the function type of partially applied commands.
Interpreter prints the function type of partially applied commands.

Fixes #4.

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