TESTS: add more function documentation
TESTS: make getAngleProp6 more useful by testing commutative property
TESTS: add some convenience types
TESTS: add getAngleProp7
VEC: use ViewPatterns for pattern matching on P2
VEC: improve readability
TESTS: add more test cases