MyBuildDict & misc.
Now use buildDictionaryT from HERMIT
Nat encoding
Monomorphization tests
Use CoreEncode