DSL prototype v2 that compiles