Now able to save method signatures, including formal parameters, for use in type checking arguments provided to methods.