Rename f# assertion libs post and adjust intro