use strict fields in EncodedAdt type
add built-in encodings for Boolean primitives
fix queens example
fix WCB_Matrix