Add type provider errors + test case

Type provider errors now signal a top-level error. test023 contains a
trivially succeeding type provder and a trivially failing type provider.