[Migration] add is_formal column to synonym model

@m0hamed please review =)