Supertrace computation methods
Merge https://github.com/rnithyanand/fp-theory