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
brought in changes for nighat
added new files for nighat
fix something that was broken in the controller
Changes to grammar
Performance spec changes as of Dec 19, 2012.
Rebase mostly done.  fixing some parser issues.
Changes trying to get performance profile stuff working after big
type-system merge, December 21st, 2012.
changes to new symbol table
deleted duplicated 'postDotExp' method in Populator.java
added '@Override' to a couple of the methods
fixed a bug while pushing to github