Finished the Vector2 class and the corresponding facts