Allow variable class assertions with constraint kinds. Fixes #107.