Some fixes in the Verifier to make sure expressions get types.
Merge pull request #23 from hamptonsmith/curup

Some fixes in the Verifier to make sure expressions get types.