Updates to concept wording

Bring the concepts into line with Concepts Lite. Also, remove axioms in favor of textual descriptions (forthcoming).