Initial setup
Adds the basic spec files
Adds the top level module
Add a module for the types.
NO-COMPILE: Initial work on datatypes.

The new Types file will contain the types used to describe the
specification. As intermediate step the relax NG xml schema has been
(almost completely) translated into haskell types.

The next steps are to make abstractions and interpretations. Thus
translate the xml schema into the used datatypes. Followed by making it
compile by adding prefixes to names.