Remove unnecessary info from injectivity declaration in typechecker