fix relational operator type error
rename Language.BLang.Semantic.AST => RawAST
change symbol table to association list; support `write` overloading
fix block declaration problem
add some tests; update test answer