Compile Nat as Int, (and plus/mult/fromInteger)

Currently done as a special case transformation - we should provide syntax
eventually so that any desired optimisation can be done as transformations in
patterns/terms.
Final (I hope!) implementation paper tinkering