Added top-level files.
Added struct package and type checking.
Added nodups typechecking option.
Added checking for one of multiple types.
Added typespec checking.
'typelist' -> 'kind'
Added Struct.