add list of built-in type definitions to readme
update readme to reflect UintXX as elements of the set of natural numbers (ℕ)