Looking for feedback on a typed data-processing DSL I've been building