add some edge case tests for jltype_to_pyfmt