Kind2 interpreter

added meaningful not_found exception messages