various language fixes
migrated away from cuttingedge.conditions to codecontracts.