Use arcusfelis azdht branch

While here, update dialyzer apps to include inets
Dialyzer fixes

All fixes pertaining to record constructions have been fixed.