Added tests for basic structural typing.