mathlib vector2: adding several functions (2)

Finished declaring and implementing the remaining functions for vector2,
along with implementing utility functions and constants to help.