Dyadic code for vector module

Has been based off #7566 
Adds code for dyadics, with tests.
Also restructures the Dyadic and Vector code into a nice Object-Oriented structure with the introduction of a common super class.
Continuation marker is unnecessary with `+` there. Unless you think it improves readability, it's unnecessary.