Added resolve methods to context
Added built-in present operator generation
Added choice determinant generation