Demonstrate loading a subtype instance from DSL.