Modular and fast (hopefully) implementation of NARS logic.
"Inheritance" between NAL layers and NARS layers should be implemented with final tagless approach. Here is good introduction to the approach from analogous OOP technique.
Likely that relationship between NAL and NARS could be implemented with final tagless too.