Define var type and begin model for coercion and evidence expressions