add missing keywords, remove deprecated ones
add missing keywords, remove deprecated ones

soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace,soonhokong/lean-ace