1. put a type for variables in a "standard prelude"
2. have classes compile get_ and set_ methods for their fields,
		so that the evaluation of exprs and statements doesn't have
		to access details of algebra?
3. Can have private fields handled by taking them out of the signature
	after the compilation of the algebra is done,
	provided message passing checks the signature?