working on trivial AO to HS compiler (dynamic version)