tower-aadl: tag user struct types with impl