adjust the teaching languages to use #true, #false, and '() instead of true false and empty