added is and normalization to type
matcher.exec checks typed parameters are of correct type