feat(kernel): add general purpose 'annotations', they are just a generalization of the 'let'-annotations

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel): add general purpose 'annotations', they are just a generalization of the 'let'-annotations