Thanks for the excellent suggestions. My local transit agency doesn't have a reputation for complexity, but I'll do some research.

Yes, a startup would certainly offer the complexity I'm after. I'm not pursuing insurmountable complexity in its own right. I feel we should be doing programming at a vastly higher level of abstraction.

Maybe I ought to shift to Haskell development, or spin higher level of abstraction into a venture of its own. Thanks again.