valtype with type variable, unfiy valtype for evalExp and analyzeExp
s-expression comment (srfi 62)
refactoring codes