Bug fix to the program sequence builtin `;` type. New top-level construct `external type`: type defined at the OCaml level. New completed test: matrix multiplication.