Add state compilation

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Also test for elaboration of compiled models

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

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

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

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