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.
Merge pull request #264 from david-christiansen/providers-errors

Add type provider errors + test case