add examples: Type Aliases, Tuple, Forced/Implicitly unwrapping and Optional