Rank-metric codes over arbitrary fields: Bounds and constructions | Synapse