Improves checks performed
Updates meta-model for implicit + refactoring and documentation