Currently, the project pollutes the root namesapce with extremely common terms such as `State`. We should instead namespace `Fp` correctly to not do this.