Is there syntax to conveniently extend object types?
Concretely, for types

type t1 = < f : int >
type t2 = < f : int; g : bool >

I would like a syntax that allows me to define t2 in terms of t1.

Thanks!
-- Steffen