chore(library/standard/data/int/basic): remove TODO's that were addressed by recent improvements

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>