Remove weird cons functions and make documentation nicer.