Don't initialise Gamma with variables

We should eliminate the value definitions of the Initial.hs file and put them into a Prelude.hs file that gets typechecked before everything else.

P.S: This is inefficient and could definitely use some form of caching.