bugfix for dependent type and unit test
regroup validation for field offset functions
fix doc
fix TU