Various Tools for CS 241 (Foundations of Sequential Programming) at the University of Waterloo