add basic proof for search

move common to collections and have a new common
add matteodem:easy-search