An overview of NSQL's and its use in Clarity