add first typechecking