CoqModel.where

Closes #2