Working functionality (in Emacs 24.4 and later) to in-place refine metavariables from a type-filtered list. [Requires eamsden/Idris-dev@a55d101 or later]