instances for binary stuff
added new traceWith function
vector and tangent space stuff
remove Show constraints
added At/Idxed instances for Data.Trie
strict the monad action for timing