Renamed package deps to match new frenetic opam names
Fixed some non-exhaustive matching warnings. Many of them are wrong (I want dependent types!!).