maintained level during semantic analysis
moved VarEntry and FunEntry out of Type module