types+grammar: added 'value vs reference' explanation, closes #156