Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now works).
Fixes related to parametric datatype printing.
Update copyrights, add missing file-level documentation; fix perms.
Minor cleanup.