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