Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract)