added support of verbatim text
functional context taken into consideration
some more documentation for argument
rearranged some type definitions

- Function context now called stack moved to the Language part
- Changed the definition of declaration.
making use of pretty printter library
pretty printing whole programs
added the assemble combinator