ion, 18, 67, 81, 82,see also λx.saccept, 114application, 18, 52, 66, 67,115, 126, 131–133,228, 229, 254, 255,257, see also ruleapplicationapproximation, 10, 88, 89,93, 94, 123, 150set-based, 14argument, 87argument context, 76, 76, 77,78 blank symbol, 113, 114 case, 18co-domain, 20, 100, 206combinator, 23fixpoint, 34, 35, 79, 81...