Concepts, Laws and the Resurrection of Ideal Types