get prelude
make bin almost passing, needs type match
add type to bin, now correctly returning formula