Working but unsafe implementation of ++ and ::: (unexaustive match)

Careful: ::: is reversed of ++ (prefix)
Draft of implementation for ::
Add BlitzViewS: report example
Add BlitzViewO (Option) as an example of extension, with implicit