support for string literals
removes .hcr file, we have .hs support
adds ?show_subexpression flag; evalTyCon (confusion)
rms extra lines
adds usage to README; adds examples from SPJ's book