composite types still buggy, improve rule indexing