Remove the restriction that target intrinsics can only involve legal types. Targets...