Maneuvers: merged definitions from LSTS/dune@75b975d1e6c5700fb6abb78a1a67bbcb8a8b5339