Fixed type propagation for dereference and address-of, needs work for all the other operators also. Starting ground work for array notation