put Types in Util, added spell.mli