updated some types, added comments and finalised FMI integration specs