Update Version 1.07/1.08: (1.07 has been jumped)

 - BUGFIX: <>-type as used in Camelot (e.g. built-in function free) shall not cause any troubles anymore. They are always treated like the unit type.
 - CODEFIX: <>-type is a proper type now and not hacked into TypeVar-type.
 - BUGFIX: built-in functions cannot mess the inference anymore. All annotations are forced to zero!
 - Added overview over ALL built-in funcitons to README.TXT
 - Annotations can be proposed via RICHVAL. See notes on PARTIAL INFERENCE! 
 - All annotations of undefined functions are set to zero. See notes on PARTIAL INFERENCE! 
 - added examples:
    - unknown.lfd   (explains partial inference and RICHVAL-keyword)
    - memleaks.lfd  (shows that we only infer a lower-bound on the amount of unused memory left after computation)
    - simple.lfd    (produces a small LP for understanding those files and how they are derived,
                     additionally explains the treatment of the @-syntax) 
    - atvar.lfd     (explains diamonds and 'free')
 - Function "richval free : <0>, <> -> unit, <0>" added as built-in function for convenience.
   It does work correctly when sandboxing with option "-ipl". See example/atvar.lfd.




