Has it been something about the type system in particular, or just keeping track of all the parts? I would not call it a simple language, but I think it's ultim

Has it been something about the type system in particular, or just keeping track of all the parts? I would not call it a simple language, but I think it's ultimately tractable, albeit with work.