Semantic analysis

[nedroden]

Depends on #1

Acceptance criteria:

• Procedures can be declared
• Referred fields are checked
• Procedure calls are checked
• ...