WIP: Dyadic code for vector module

Has been based off #7566 
Adds code for dyadics, with tests. Not yet polished.