PLN: example agent for Tuffy 'smokes' problem, plus some small updates