sml: remove legacy modeled concepts from abstract object
manual: minor updates to introduction