Fixed orphan instances.
Load the arrows extension by default.
Changed to a functional reactive model.
Cleanups.
Refactored identifier into a module.