type-checker
add comment