Change module prefixes for some values
Fix bug in generating Def for ADT constructors

Accidentally used the type name instead of the constructor name.
Make error message in solver slightly more specific
When creating a named var, allow it to be flexible.