Formulae

Adapts the two THEOS formulae to use the Substrate Makefile I cooked up
for consistency and easy-install.