compiler: return_type -> return_field, in order to have a doc on it
compiler: improved const value type checking
compiler: java const support