Split instances and examples; add signatures and variance.