Types within ELT