start objects
objects
faster compile
fix compilation of objects
raketask for program.txt
assignment of irecords
dereferences can now contain expressions, because they are passed to the solver with inlined expressions as arguments
add missing rule