Types within NASA-MOORE