Define empty and pure on NondetT companion object
Type member on BindP is no longer needed