Add a test option to show the types for the paramters, which is one of the important jobs of the types resolver rule.