Refactor:
 - move typenames into numba.types
 - add a few type alias
 - Overloaded.jit returns a no-dispatch entry-point