Add phantom types to all data structures in order to allow type extraction

[gcanti]

Example

export class Some<A> {
  _A: A // <= phantom type
  ...
}

declare function f<O extends Option<any>>(o: O): O['_A'];

// x :: number
const x = f(some(1))