add type constraints in constructors and function arguments with universal quantifier (from iTask branch)