The top documents tagged [type inference val x]