Open type representations and dynamic types