fix avl-contains?

Signed-off-by: Jan Dvořák <mordae@anilinux.org>
added scribblings

Closing issue #1.

Signed-off-by: Jan Dvořák <mordae@anilinux.org>