created constants to enable changing pyret syntax around examples