Exported `matrix-basis-cos-angle' with a contractable type