small improvement in resolve_expr
added a case in resolve_expr
started alternative model
imperative impl of game of life