Working on refactoring Types to provide for working Continuations when programs get modified during runtime