": type" has a long heritage, going back to (at least) Pascal in 1970.