More tests related to env switching
mtac2: star-patterns implementation + testing
mtac2: some simple tactics using star-patterns