structural type system in typescript