juliatypes.jl: more tests