Conference paperHandling environments in a nested relational algebra with combinators and an implementation in a verified query compiler