In prior sections: core bool 1 int 2 list 1 finite sets list 3 autom action sets det automata exponent