Changed types around again. All wrappers now. Added implicits.
Began adding shortcuts for verbs (5 types to consider\!). Will try to implement identity.
Wrote the identity function for J. Will need to test later