Type extensions. Version bump to 0.5.12