Typesystems is a c++ library that aims to provide a way to represent a external typesystem within a c++ program