juliatypes.jl: might finally work