Added Char type to the Alloy model
Added support for Char type
Update README.md
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
Added support for returns
Added exception for unsupported return stmt
Added support for return statements
Updated instructions
Updated Alloy model
Updated java code
Added local declarations
Adding function call with literals