refactor(kernel): remove semantic attachments from the kernel

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