Refactor the Recmap modules (type families)