cleaned up code slightly - no tabs
added ret/arg cases to substitute-constraints
fixed typos
added ret/arg cases to enforce-constraint
Merge branch 'master' of https://github.com/polasek/tscheme