Easik 3.0: categorical database design and manipulation