Simple Tools for Abstraction and Instantiation