Added tests for structural typing involving enhancement properties.