working on the jit returning proper types
got returning most types in the jit ok