SpecConstr now specialises on constants and lambdas