Add concept map and description of top level abstractions