open-typerep-0.5: Open type representations and dynamic types