Add equality checking to T, rename V.unit to V.normal