Sorts and Types in Artificial Intelligence