Construction types implemented in Skipche