Hello world!
Added Hack typechecker