Separate bottom.sml and lens.sml