Implement docs for subset types
Fix our Mu check

nqp::isnull(Mu)?  That's not true!  THAT'S IMPOSSIBLE