=====
Name: False
OccString: 'False'
DataCon: False
=====
Name: :
OccString: ':'
DataCon: :
=====
Name: :->
OccString: ':->'
DataCon: :->
=====
Name: :->.
OccString: ':->.'
DataCon: :->.
=====
Name: :->.+
OccString: ':->.+'
DataCon: :->.+