RLSF: Reinforcement Learning via Symbolic Feedback