A Boolean Task Algebra For Reinforcement Learning