bring htdp/*sl languages up-to-date with #true, #false, '()