Mapping our maps: types of knowledge — LessWrong