more TNat type level operations