Small bug fixes and tests for them (thanks Richard):
- Produce correct warning when using an undeclared name specifier in an RPL
- Support types with no region parameter (e.g., class with no fields)