fix alpha conversion bug

functions except `main` and primitive I/O functions should be renamed
fix negate type checking bug
Merge branch 'master' into hw6-zhi-hai