Made dereferencing field access typechecked.