rename typechecker to analyzer
refac type checker into analyzer