removed dup
added paper on understanding types