added proposition for values, added substitution function
Added proposition for values, added join functions for value annotations,
added substitution function.