Better type for metapost things
example derivation tree