Construction types implemented in Viline