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.
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE