fixed AST type check, added some notes. I have the fix direction I think.
fixed AST type check, added some notes. I have the fix direction I think.

lojikil/29,lojikil/carML,lojikil/carML,lojikil/29,lojikil/carML,lojikil/29,lojikil/carML,lojikil/carML