#lambda #ecaf gnikniht #symbol expression #typed thought