Logging

I've added a Constraint synonym as you asked, and then logging capabilities. Let me know if that's what you had in mind.