A prototype GUI frontend to reqT