Make estimator API typesafe

Currently, we throw errors at runtime if `.predict` is called on an unfitted estimator, conversely, we throw an error if `.fit` is called on a trained estimator. The idea of this issue is that such mistakes should be caught at compile time rather than runtime.