Update Version 1.09:

 - FEATURE: main/start-function may now take ARBITRARY arguments that
	may be passed on via the command line (via option "-arg"). 
	Parsing the command line arguments might fail sometimes,
	but it definitely works for a string list argument 
	(a lot of other have been successfully tested: trees, etc.)
	In the case of option "-ex", a default is generated.
	A character list might be given as a strings.
 - BUGFIX: multiple definitions for a functions body now cause an error message
 - BUGFIX: malicious typcasts in lfd-programs produce proper error message
 - FEATURE: "richval"-Declarations may contain a "<*>" instead of "<[float]>"-values. 
	This is useful if only some annotations should be forced, leaving those
	denoted by the "*" to the inference. 
 - Syntax parser slightly more relaxed (optional trailing semicolons in declarations; no additional parenthesis around nested parameterless constructor types required).
 - Consecutive repetitions of identical warnings are supressed now.
 - Screenprint of signature is now broken more than once if width is too small (option "-width" now work correctly)
 - added .cmlt examples; translate with camelot "-a2" to obtain
   the .lfd-file, which may be fed into the inference without
   any further modifications (even sandboxing is possible):
           - heapsort.cmlt (a more sophisticated example) 
           - huffmann.cmlt (a more sophisticated example - computing the huffmann-coding-tree)


