Cryptol.TypeCheck.Solver.Class
classStep
expandProp