On the theory of $\mathbb{F}_q$-linear $\mathbb{F}_{q^t}$-codes