On functional equations and distributive second order formulae with specialized quantifiers