fixed example 4
some type fixes
made attribute descriptions consistend with 'MUST return' langauge