Add keyword args to make-intent function
Add intent? function
Add pre- and post- conditions to make-intent