Property definitions

mongodb $ MongoCursor :: is_ok=
	redef var is_ok = true
lib/mongodb/mongodb.nit:720,2--23