Improve error messages a la pcwalton
Fix ref binding scopes to include pattern--is this necessary
fix used_mut_var and problems in dataflow with loop control