Construction types implemented in Myrotyn