readme entries about gc ideas and typing
got rid of _DP, changed argument order of with-MP

quotation last is more readable with combinators