Fixes harmonic predicates in Common.Harmony
Adds exports
Adds harmony sketches
Docs