added typecheck for assignment & fixed unaryexpnode's typecheck