Reactive semantics
Cleaned Reactive API

See #61