Added notes on intersection types