Construction types implemented in Ahaimany