Construction types implemented in Levonky