Remove type_of and insert Choice.get at all call sites

These Choice.get calls should be removed later.
Remove exceptions from mk_type and mk_const