initial testing
test renaming and abstraction
fix documentation for shift
test substition and shifting
tweak behaviour of funs
tweak behaviour of free
test behaviour of free, bound and funs
Merge pull request #8 from michaeldever/master

Testing for shift, abstract, subst, free, funs, bound and fixed documentation for shift.