Abstractions of General Reinforcement Learning