AmpersandTarski/ampersand — pull request #10 by sjcjoosten (2014-11-21 10:23:51+00:00)
Title: Fixed ticket441

Identity/key for concept: now type-checked. Note: there is still no Try in the test-bench for this.