Added forgotten change
Checking input more thoroughly
Split import token of arith.yaml

Previously the import token contained imports and definitions of constants etc.
Since the imports token should be for imports (and imports only) I split it
into to tokens:
    - imports: containing imports only
    - preamble: containing definitions etc.
Also adapted configurations and templates accordingly