Construction types implemented in Lityn