remove EConstr syntax (I think it's redundant because replacable with lambdas)