add Type.With module
replace newmetavar
simplify
Locating -> Location.With
add
Location.With -> With.Loc
Map extension based on m.ml
Set extension based on s.ml
replace M module with Id.Map
replace S module with Id.Set
fix parser shift/reduce conflicts
add find helper
Merge branch 'feature/refactoring' into develop