introduce the terminology "instantiation"
make a start on #721