Port type-expression test cases

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Remove package value from type expressions

This is an implementation detail.

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
First skeleton of type-expression parsing

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Minor addition to type expression parsing

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix causality expression

There is no explicit acausality declaration

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Add flagged-type tests

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Further remove non-specified syntactical constructs

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Expand pretty-printing

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Parse variability, causality and connectivity

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Test parsing of array type

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>