Construction types implemented in Babai