1) re-structure file folder
2) gterm -> gproof
3) remove redundent type