File Release Notes and Changelog

 - fixed application order for rtt_type arguments
 - allow recursive modules and module type of
 - support local modules, and locally abstract types with a patch