fixed a bug in A.1
restructured; added Prototype Haskell appendix