recordRules -> recordValueRules. Remove redundant TODO
Lambda and Pi as operators