moved alloy stuff to a separate project