Union types support

Unions were not supported by the @annotated decorator, they now are ! Implementation is very inneficient but should work for all cases that I can think of (the typing spec is still out there...)