Weaving of typerequirements through pt2expr, pt2law