Minor cleanup in typing.ml, typing.mli
Wrote Typing.is_fibered