Associate each expression with the corresponding type!