added how to resolve types in a Infix Expression