Base and Inductive process implementations for realizability

Base works, not sure if Inductive works as it should.
Base & Inductive process changes
Inductive process as it should be. (Need feedback!)
Update
Updates on Inductive process.
Update