Removed unused signatures
Added variable declaration into functions
Added alloy specification for testing
Refactored main to an Executor
Added examples for execution
Preventing multiple initializations
Bugfix #4