Implicits moved to engine logic
Fixes method collision after type erasure
Fixes most tests

Still problems with BBSort, also need to verify exec