Solved problem with embedding in report of xor-equiv
Solved problem with empty lang in mintinline
Explained inefficiency of current delay'
Undid strict distinction between corecursion and coinduction
typo