A bit more refactoring to migrate vars_to_uvars to Lambda

- Changed a few imports.
- This might require ExtLib: b2303cddfd74970216e6b728a9d8776f15e0b40c
Now adding ExprSubst

- Everything here is just being ported from Ext.