Update fun-op-sem example to match 1f63d5f

update fun-op-sem example

update fun-op-sem type soundness example, cheats proved

fun-op-sem: improved file structure, more comments