The distinction between symptoms and traits in the Hierarchical Taxonomy of Psychopathology (HiTOP). Issue 1 (6th October 2020)