Lifted decls now have params properly added