juliatypes.jl: more tests, and a fix based on them