Built-in natural number support
More examples for user-sorts and natural numbers