Typing assumptions improve identification in causal discovery