DI# Language and Queries