initial rho
initial matching
evaluate rho terms

quick ghci testing shows no abnormalities
structures not tested
remove lambda