Fixed equivalence for val declaration singleton types.