Added a program that automatically generates implementations based on the Feature Model, which adds some convenience

Each module now has a list of types, which is built automatically