Removed automatic differentiation for now, that is probably better left to a second package anyway?
Removed pretty-printing for now to simplify.
Removed unused canonicalization type function.
Removed cmap for now to simplify.
Removed ad dependency.
Removed norms for now to simplify.
Removed bidirectional HList conversion to simplify.
Ruthlessly cutting things to simplify.