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