update typechecker
ignore was not working
update language module