Allow identity to convert implicitly convertible types.
Add a test of an implicitly convertible type.
Return result after all.