Modules

type constraint for dualvars