#FlexJa #structural typing #flexible linking #type system #language design