Add cindex/types.jl