simplify lambda structure rule
record structure rules