minor type system