units → auxiliary Relation

File in units	Includes file in gui/auxiliary
types.cpp	typed_formula.hpp