added arch phantom type to Arg
separated some of the utility functions in Language module
some more documentation
exposes the internals via the internal module
added the syntax module
exposing Internal.Language and Internal.Syntax directly
rearranged export list for better documentation
declaration now is a record type