Added body-initializer for ADTs