added initial documentation for reified types