Reorganize builtin internalization by theory

Follow Dolmen's new organization of builtins by theory to ensure we
don't accidentally forget builtins by leveraging OCaml's
pattern-matching exhaustiveness check.

Author: bclement-ocp