bugfix: forgot to resolve ITE condition
delegate AType#select to corresponding expr's 'select' method when in symbolic mode
started to work on the game of life example