L_to_Hyb: started reductions
Towards LF to Hyb lang. equiv - part next
This will all be reversed <3