Add syntax highlighting
Change predicate option menu to entry
Add name updating to algorithm tab
Finalization method stubs
add rule working thank God
Jerry-rig rest of the algorithm tab