some minor refactorings/docs from AlloyInspector
thowing exception for unimplemented method related to function calls
Updated documentation
Added code to get returned function call from model
Added necessary information about returning function call