a : Integer
a = 3+4

b : Integer
b = 7

some_proposition : Bool
some_proposition = 4+7==11

another_proposition : Bool
another_proposition = 3+8==11

complicated : Bool
complicated = 4+5*3-7==13-1

p : Bool
p = 8>5

q : Bool
q = "Hello" == "Goodbye"

r : Bool
r = True

j : Integer
j = 9001

u : Bool
u = ("Hello" == "Goodbye") || (3==3)

s : String
s = ifThenElse (3==3) "tick" "tock"
