Now checks call arguments for type correctness