Lobsters: Rewriting the Futhark type checker