Termination looks like termination now
Still cannot tacle termination for complete language
I have no idea what Im doing
Towards termination of complete LF language