Datalog updates and typed variables

I MUST SPLIT MY COMMITS PROPERLY
I MUST SPLIT MY COMMITS PROPERLY
I MUST SPLIT MY COMMITS PROPERLY
I MUST SPLIT MY COMMITS PROPERLY
I MUST SPLIT MY COMMITS PROPERLY
I MUST SPLIT MY COMMITS PROPERLY
I MUST SPLIT MY COMMITS PROPERLY
I MUST SPLIT MY COMMITS PROPERLY
I MUST SPLIT MY COMMITS PROPERLY
I MUST SPLIT MY COMMITS PROPERLY