Constraining template expression

[DorofeevKirillDev]

I have a template expression that has to guess 2 functions: f and g. I want to constrain these 2 functions independently (set different max complexity and available operators). I've looked into discussion #786 but not sure on how to use it for my case.