add type checker for rigid type variable
add more test case around rigid type variable
introduce varibale symbol and function symbol
add duplicate name check for variables