There is no maintainability problem if the general behavior is correct for all types that a statement can be composed of. You don't need an IDE, you just need

There is no maintainability problem if the general behavior is correct for all types that a statement can be composed of. You don't need an IDE, you just need a decent operating model of the nature of interactions between types.