remove shapeless and scalaz dependencies and fix PExpT tilde extraction

- also update copyright