sml: organise concepts a bit better