add strictness anotation
add type annotation to ast