Finish reify the types in load rule.
Load rule is almost reified, except the conclusion part which is again about nested_efield.
Problem solved. Load rule is reified.
Merge branch 'master' of https://github.com/PrincetonUniversity/VST