[Hs-Generics] multirec-rewriting status?