Update types.jl