Fixed ticket441

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