ExpressionsAssignmentUpdate

I finish on the types. I sent the code to Joe and I am waiting the
feedback to see if I am on the right path.