Improved meta-variable resolution, several bug fixes invoving bound terms and unification.