Moved and added some examples.
Fix name resolution for names that use type projections.
Add tests for field access.