Revert "chaning to have more efficient instantiation"

This reverts commit e44f6ffb315192c85f5e14f01b9dccf0047ea62c.

Conflicts:
	src/Infer.hs