optparse version
Revert "Performance greately improved by this change."

This reverts commit ed9202d54947e6423d0a5a356b762552b3a5324f.
Revert "chaning to have more efficient instantiation"

This reverts commit e44f6ffb315192c85f5e14f01b9dccf0047ea62c.

Conflicts:
	src/Infer.hs