fix a ton of errors in readPoundSExp, and add a lot of missing functionality