Syscalls for Nat and Word? are not yet implemented.
and part of the corresponding stuff in the compiler.
