Various fixes to issues reported by Analyze.  Added documentation of Futurose features.