A Principled Approach to Querying Data – A Type-Safe Search DSL