juliatypes.jl: more tests, and fix a bug they found