Towards LF to Hyb lang. equiv - part next
Merge branch 'master' of github.com:Ayertienna/IS5
Revert "This will all be reversed <3"

This reverts commit d9d0db7fce8cdd4594d67c3b9c04307e1307d31e.
Revert "L_to_Hyb: started reductions"

This reverts commit 2477433c62908710e9457051e3ad2307825bac9e.
Revert "L_to_Hyb: function instead of relation"

This reverts commit f9903c3740758b0925518ec1d43d3ea3d708401f.