A simple Vectors module written in VDM-SL