Construction types implemented in Luka