typed metapost
draft for diagrams