Added tests for more complex structural typing cases.