Added assignment expression and type promotion code.
Added Deref, Func, Obj, and Refer expressions.