clean up grammar
add new option \'--disable-assertion\'
refactor type symbol