fix alpha conversion bug

functions except `main` and primitive I/O functions should be renamed
fix negate type checking bug