Construction types implemented in Myniiky