Make estimator API typesafe

[inejc]

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.