Allow the generalization of non-overloaded simple local binds#414

augustss merged 2 commits intoaugustss:masteraugustss/MicroHs:masterfrom

arossato:monomorphism_restrictionarossato/MicroHs:monomorphism_restrictionCopy head branch name to clipboard