Clean up description of concept map lookup (thanks, James) and the implicit definition of associated types and templates