This page has some type implementations in the framework mentioned in [OO libraries]