Change "btcs" to "implici_ftcs"

And various editorial changes