Added some examples to IO
IO: added getMaybeNat
IO: added two more primitive functions