clarifies code in Block case of check_stmt function

this commit also removes a shit load of tabs but most of the work
is done on the A.Block case. also changes syntax for importing modules
to module A = Ast