Email Post: Towards Measurable Types for Dynamical Process Modeling Languages