Added enum and token defs.

Note, still isn't properly valid at this stage.
Added success/fallible basic types.