Add sharing contstraints for FuncEntry to Atoms signature

Now 'FuncEntry's from different ILs (e.g. SXML and SSA) will be the
same type.