(PUP-501) Test resource expression evaluation

This adds tests around the behavior of the current and the future
evaluator's resource instantiation expressions. There are many cases in
the current system where the tests are commented out because there isn't
any consistent behavior.
(PUP-501) Add positive tests for type names

The new resource expressions take expressions in the type name position.
This opens up a large world of possibilities and needs to be tested.
Here are some of those tests. The happy path tests. No sad path tests
yet.

This also removes the generated tests that were used before for titles
in favor of explicit cases. This is a little tedious, but the ultimate
goal is to be able to extract these all out as examples that can be part
of the language specification.