Snapshot of Dot.dfy
Reveal problem with expansion found by @samuelgruetter
reorg of Coq sources
Update rules according to latest Redex model.

- path and type resolution
- subtyping monotonic (no more S <: U required for type selections)
- various formatting tweaks
Fix scoping issue with arg of method init in Scala model.

Reported by @samuelgruetter.
Add Tiark and Adriaan as authors on the current rules.
merge