query fromConstraints

typeside t
schema s : t
constraints eds : s
----------------------------------
query (fromConstraints eds 0) : s -> literal : typesideOf s {
	entities
		back front
	foreign_keys
		unit : back -> front}