Implemented polyinstantiation.