More measure exploration

Not yet sure if this typing model is practical or consistent