Update submodules rev, fixed tail-types in the minotaurs.