Writing some algebraic laws and function signatures for pitches and voicings here to make our future work a bit easier and less uncharted.