add comments to reader.sml, rename Reader.reader to Reader.t
rename functions to match grammar
initial version of monad-ish parser code from Hutton