Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning