eval: valuesOp now includes static type information
eval: fix a format string
eval: s/Checker/Compiler/g
Ensure types of lhs and rhs match in var and set forms
Add sample-scripts