C++11 library for many-sorted logics