Programmatic Reinforcement Learning: Navigating Gridworlds