Add constraints on the type of parameters to the scop context.