Remove an unused type
Added test for must()