Dialyzer fixes
Basic update support, exposing the weaknesses in current compilation approach