- Added discrete change detection for Signal
  (no longer assumed to be continuous values)
- Proper implementation of signal_lift
- Added sample_with macro
- lots of small changes and improvements