Your use of custom StructureDefinitions for the very non-FHIR models that you need is impressive. I don't think I've seen such a clear example out there of someone extending FHIR to this degree. Well done!