Construction types implemented in Malniv