2015-06-19
		04:26 UTC Revision 1 . . . . BayleShanks – if a variable can have many interface types (predicates? attribute types?), then need to decide at some point how much inference the compiler will do . . .

History of proj-oot-old-150618-typeSystem