Initial commit for LF -> Hyb equivalence
Partial using shift
Merge errors fixed
LF to Hyb contexts
Lang. equiv: L to Hyb, statics, fetch = box(unboxfetch ), no get
Towards lang. equiv: LF to Hyb
Lang. equiv L to Hyb: version 1, type preservation completed
Lang. equiv. changes fot L to Hyb
Lang. equiv. changes fot LF to Hyb