Add the Philosophy of Stratus.

Also fixed some minor bugs preventing it from compiling.