Dynamic: generalize pristine type extraction.