Construction types implemented in Koman