Add :profile to check-ns and friends
Unparse function filtersets if not {:then tt :else tt}
Fix CTYP-105, typo in HMap subtyping