Syntax tools for the Puddle coding environment