Interpret 'table' signature items more flexibly, automatically adding (Ur) constraints to support a kind of subtyping over (SQL) constraint sets

fun f (x : int * float) : string = x
fun g (x : int * float * bool) : string = x
fun h (x : {A : int, B : float, C : bool}) : string = x