Describe options in sorta-kinda dsl.
Rename .Types to .Internal.
Easy importing.
fix haddocks.