fix recursive type
add analyzer
add rewriting lvar subtyping
improve isa?
update rewriting rule
more relational