
To do:

functions that take instance parameters require type info at code generation
phase.


 Restrictions:

classes can only contain string fields.
can't have array of classes.  (type info not rich enough).
functions must come after variables they depend on.
