Added Concurrent.hs
Further changes to st.agda