Removed test listing
Renamed array to mtoarray and mtoint to mtonat
Using T1 font encoding.
Typing and Semantics getting fleshed out