refined type rules for simple constants