get rid of existentials, add types to tags, right assoc get property