Implemented interface method
Added enum representing relations in the Alloy model
Added exception for field not found while inspecting the model
Added function name extraction
Added enum for types
Implemented returnTypeFrom(declaration)
Improved Log readability
Implemented exception message for FieldNotFoundException
Added stub to synthetize variables from sources
Added preliminary implementation of synthetizeVariableFrom method
Fixed variable name issue