types of expressions must match