Searching in TypeSystem/inference