Fix a bug where type demonstrations using the unqualified name sometimes failed behind the scenes.
Fix some minor bugs in the type property input validator.