Core editing functionality for the Puddle coding environment