Library typerep

The entry point for this library is module Typerep_lib.