A number of fixes getting types into DotExps and some more Verifier expressions.  Several fixes and changes to how CrossTypeExpressions are handled.  Fixed a bug in RBuilder.g that caused Cart_Prod expressions not to parse.
A number of fixes getting types into DotExps and some more Verifier expressions.  Several fixes and changes to how CrossTypeExpressions are handled.  Fixed a bug in RBuilder.g that caused Cart_Prod expressions not to parse.
Merge pull request #30 from hamptonsmith/globallyBoundedList

Globally bounded list
Alt_Rev_Stack compiles.
Merge pull request #31 from hamptonsmith/facilities2

Alt_Rev_Stack compiles.