Microsoft: 'We Are Finished with F# 5'