Notation: remove support for prim tokens denoting inductive types in "return"

 This is prim token notations for inductive *types*, not values.
 So we're speaking of a scope where 0 is the type nat, 1 is the type bool, etc.

 To my knowledge, this feature hasn't ever been used, and is very unlikely
 to be used ever, so let's clean the code a bit by removing it.

0 files changed, 0 insertions, 0 deletions