Feature Requests: Support for arbitrary variable types and operation implementations

[patroclos]

I'm partly thinking of #12 and #13 , but also more broadly I would love to be able to extend this to work with types like Vectors or Quaternions