bool <- sort_eq ( bool_eqType )
bool <- sort_TYPE ( bool_TYPE )
nat <- sort_eq ( nat_eqType )
nat <- sort_TYPE ( nat_TYPE )
prod <- sort_eq ( prod_eqType )
prod <- sort_TYPE ( prod_TYPE )
sum <- sort_eq ( sum_eqType )
sum <- sort_TYPE ( sum_TYPE )
sum <- sort_TYPE ( sum_TYPE )
prod <- sort_TYPE ( prod_TYPE )
nat <- sort_TYPE ( nat_TYPE )
bool <- sort_TYPE ( bool_TYPE )
sum <- sort_eq ( sum_eqType )
prod <- sort_eq ( prod_eqType )
nat <- sort_eq ( nat_eqType )
bool <- sort_eq ( bool_eqType )
bool <- sort_TYPE ( bool_TYPE )
bool <- sort_eq ( bool_eqType )