Redoing locally nameless STLC, with more Dafny experience.

Works like a charm so far.