Check assignment type mismatch + proper paren expr