Versioned and Identifiable take type parameters, close #67.