Added comments to checkHiding, isParamDecl and isParamDef.