todo introduction
fixpoints in untyped LC
add Markowsky, 2xScott to bibliography
wording
cite Markowsky
add initial object to definition of fixpoint property
some background on scottery
refactor Huwig proof