Simplify logic for checking formal arg type