Add initial notes on quantified types