sml: add initial support for the indexing of concepts
sml: add indexing tests for types without concepts