AND COMP:

	obj A is
	    components: a and b and c


		is equiv to

	obj A is


	    equations:
		Select("a", cons(A, n)) ... etc.

	The idea is that for and comp we can select fields dynamically using
	their string names as selectors.


OR COMP: