Ground-Compose-Reinforce: Tasking Reinforcement Learning Agents through Formal Language | Synapse