Many TODOs updated, based on progress in pyret-lang