refined type rules for values