Add syntax for importing ADTs