Construction types implemented in Vikno