No type or individual with this identifier: #lambda.letter_of_the_alphabet