support for lexicograohic ordering
misc
restrict hints to be increasing
misc
correct bug
refreshing type arguments
Merge pull request #91 from ucsd-progsys/lexOrdering

support for lexicograohic ordering