Add typechecker project