Presentation techniques for more expressive programs