Construction types implemented in Vatsi