remove arbitrary casting by making source and target more precise
improve denotation docs, fix bounds in Titan
Merge branch 'master' into refactoring/properties
Update docs

Conflicts:
	src/main/scala/ohnosequences/scarph/Denotation.scala