fix missing unboxing on upper bounded generics extending a boxed type
simplify if
Avoid naming conflicts when closed over variables have the same name as methods. Also, verify variables against method names for the entire inheritance hierarchy not just the defining class.
(grafted from a2c8444862b73b885a67cb8bb0fa256c25873d21)

--HG--
extra : source : a2c8444862b73b885a67cb8bb0fa256c25873d21
fix name conflicts in local type constructors with parameters and closures

--HG--
extra : amend_source : 69c73c75099cf23f19c495637a02a8b74ff4a337
update news/version
add feature project

--HG--
extra : amend_source : e7b5c021d66aee6e27005fc4ccf817ed37644a2c
include update site in readme
Added tag 0.5.0 for changeset 301a66667950