Swift: patch Terminal.h to return an id; make use of KVO for setting properties