renaming PeekToken
refactoring in TypeBinary
refactoring in TypeUnary
refactoring dynamic loading