Initial feature description,.
The Types module.

Allows defining type-parsers.
Added the examples for the argument-types feature.
Added the DSL for param declarations.
Unfinished work on types.
The Types module incl. built-in types integrated.
Functional (lazy) input. Values take types now.
Fixed remaining tests after types refactoring.
bool, float type
Merge branch 'types'