Incremental HOAS implementation of a DSL