Resolves #168 : Direction*Vector now returns the rotated Vector, and vectors can be rotated with DIRECTION suffix.
Merge remote-tracking branch 'Dunbaratu/rotatable-vectors' into develop
minor formatting from PR