syntax/desugaring for phantom TDNR
elimination of phantom TDNR lambdas
eclipse support for phantom TDNR