Fix some lexer bugs, break up the Prelude