ModuleType annotations can now express structure types. The Figure1 sample is closer to working.