Added a new test file + renaming
The following term seems to be accepted:

  ['a] 0

(type forall 'a. int)