WIP on injectivity checks for open type families
Fix error handling in the renamer