types for minitypes for minicc