Easik 2.0: categorical database design and manipulation