Type checker: constructor types may be used now in 'throws' clauses of
function signatures.