make codesexp's inline, and remove the float property