[~] Returning unknown type by default from DeduceType
[+] new test