Damiano: fixed some methods in @Signal and @Time, plus added some
new capabilities to the IDA ICE Interfacer