Added template polymorphism to my input language
Almost finished the Discovery monad.
No longer used.