wrapped OverloadDefs and InstanceDefs in corresponding EnvEntry classes before adding to env. fixed several return value bugs. added typechecking for Record and Struct constructors which require type parameter inference.
wrapped OverloadDefs and InstanceDefs in corresponding EnvEntry classes before adding to env. fixed several return value bugs. added typechecking for Record and Struct constructors which require type parameter inference.

jckarter/clay,aep/clay,iamrekcah/clay,mario-campos/clay,mario-campos/clay,aep/clay,aep/clay,iamrekcah/clay,mario-campos/clay,jckarter/clay,iamrekcah/clay,jckarter/clay,aep/clay,jckarter/clay,jckarter/clay,iamrekcah/clay,aep/clay,mario-campos/clay,mario-campos/clay,aep/clay,jckarter/clay,iamrekcah/clay