The nontriviality of trivial general covariance: How electrons restrict ‘time’ coordinates, spinors (almost) fit into tensor calculus, and of a tetrad is surplus structure