Type definition for numerics

And added new keywords to the language.