compiler/prog_type.m:
    Provide a det version of type_subsumes.

compiler/common.m:
compiler/higher_order.m:
compiler/post_typecheck.m:
    Switch to using type_subsumes or type_subsumes_det where appropriate.

compiler/typecheck_errors.m:
    Fix a typo found by Paul.