added base.mli with some comments (not done at all)