Coq+ssreflect implementation of 2-3 Tree