Fixed "search" goal
Added explicit instantiation for integers.