new file:   src/Language/Semantics/Context.hs
	modified:   src/Language/Syntax/Categories.hs