Update documentation to reflect changed flexible type variable syntax.

closes #14