Make everything compile
Start working on types analysis.