syntax for init/def
starting to add explicit locations
add store to all judgments
add loc rule to typing assignment
path red in subtyping
ANF