Implemented runtime typechecking for atomic is-operators