Add intersection ("A & B") and union ("A | B" / "[A | B]") type syntax

Add intersection ("A & B") and union ("A | B" / "[A | B]") type syntax #654