Working but unsafe implementation of ++ and ::: (use asInstanceOf)

Careful: ::: is reversed of ++ (prefix)
Draft of implementation for ::