Added a preprocessing stage to the handling of Mininess inclusions. Fixed some syntax errors in the ModuleType declarations in the SpartanRPC sample.