Added an example of how we could get a very strongly typed datalog schema to play with