Clean up El in Intro.lhs