Refactoring T2 -> T2D
generalized turns/angles + introduced the IsBasicNumType / HasBasicNumType typeclasses
Generalized Turn/angle