Module

using a
using a as b

Let Bind

let a = 1
let nonlocal b = 2
let rec c = 3 

Def Rule

def infix +(){

}


def f(x) + g(y) 
iff y <= 2 {

} 

With Block

with true = false {

}