Basic notes on FormulaMorph's purpose and usage