Correct type check (again)
list <unary op> should always be allowed no matter what type RHS is