Added templates for type checking method calls