is_constant : (string -> bool)
#is_constant `SUC`;; true : bool #is_constant `3`;; true : bool #is_constant `$!`;; false : bool #is_constant `!`;; true : bool #is_constant `xx`;; false : bool