zm-0.2: Language independent, reproducible, absolute types