Clean up pretty printing
Clean up getFamDeclInitialKind
Clean up injectiveBranches
Create a separate function for finding injectivity conflicts