Return body unique expression type
Improve allege special form