Construction types implemented in Lisky