Construction types implemented in Skytok