Analysis/transformation separated + core specifications added

• Analysis and transformation of the AST has been separated into separate files to make it easier to find where error messages (mainly in the Analysis part) and transformations happen.
• Core test of syntax and semantics of DCI have been added.
• this as a role player identifier has been deprecated since it goes against standard Scala semantics of pointing to the Context instance in our case.