[typed-cont] Stack switching implementation (cont.new, cont.bind, resume)

[typed-cont] Stack switching implementation (cont.new, cont.bind, resume) #1048