Added implicit for boolean; Gave explicit type params to JArrayFrame; began to implement general shaping in JVerb; implemented minus, box primitives. Still need to give verbs knowledge of result rank
Decided against knowing resulting rank. Implemented monad results of frames. Added more type parameters.
Added integersIndex, did some testing (monads seem to be working ok). Getting weird type error, because type T of JArray is invariant (cant use a subclass when im expecting the superclass in the generic)