Resolve names/expand implicits inside refl
Fixes #447
Remove unused code in Evaluator
plus some setting up for more control in inlining - VApp now takes two
copies of its argument: one fully evaluated, one with names frozen. Plan is
that dictionaries (in particular) will only unfold if doing so leads to
further evaluation, so we need to keep both forms.