Items in type-system 2023 Self-Study in March 2023 Mar 1 2018 Self-Study in June 2018 Jun 1 2015 Self-Study in September 2015 Sep 1