Playgol: learning programs through play