Advanced usage and tutorials

Preprocessor

FFI

Optimizations

Type checker