Fixup dependencies to only require mirage-types, and update opam file