Consistent notation for bare, reference, pointer

[wavewave]

We need to use consistent notations for bare, reference and pointer.

It is desirable to seperate that pointer modifier out, like

data Modified a = NoModifier a  | Pointer a | Reference a 

data Types = Modified (Either TemplateClass Class)