Added support for parametric refinement laws and implemented the sequential introduction law.