CLOS typing work