Add labelled mvars

This is useful for mirage-tcp, which creates several mvars per TCP connection.