add core instances in relational compiler

[AFine-gs]

What type of PR is this?

[github-actions[bot]]

Test Results

  1 033 files  ±0    1 033 suites  ±0   1h 26m 13s :stopwatch: - 5m 1s 12 279 tests ±0  12 189 :heavy_check_mark: ±0  90 :zzz: ±0  0 :x: ±0  17 971 runs  ±0  17 881 :heavy_check_mark: ±0  90 :zzz: ±0  0 :x: ±0 

Results for commit 4b9b8b8e. ± Comparison against base commit 53b11e2b.