Added identity and forevery functions.
Added partial function to handle function partial application.
Added union function to lists.
Added intersect to PhList.
Merging develop into master and resolving readme conflict.