A short utilities library for 2D vectors as records