Update Version 1.03:

 - Minor Bugfixes (sharing of matched variables fixed, subtyping, Value-Expression may return less than they got,  e1tc.)
 - Code shuffling (counting of memory cells from constraint.ml and exec.ml 
	now moved to one unified piece of code in syntax.ml)
 - Option -ipl, -nipl for in-place sandboxing added, freelist added
 - New: subtype.lfd example, demonstrating subtyping 
 - New: wrongtype.lfd example, demonstrating that we depend on external type checking 
 - New: merge-sort example (not yet finished) 
 - Defaultname of main-function for sandbox changed to "start",
   in order to be consistent with camelot
 - Ignoring functions dealing with arrays instead of aborting.

