SI-5744 evidence params are now SYNTHETIC

Synthetic evidence ValDefs are not marked as SYNTHETIC. In that case
macro def <-> macro impl correspondence checker compares evidence
param names and fails since evidence param specified explicitly.

To overcome this evidence params are now marked as SYNTHETIC and macro
implementation signature params are created as SYNTHETIC if its ValDef
mods contain SYNTHETIC flag.