added assessment for finding empty constraints and (non-)typesystem rules
cleaning-up unneeded constraints in expressions
removing unneeded constraints from mbeddr.core.base
removing unneeded constraints from mbeddr.core.modules
removing unneeded constraints from mbeddr.core.pointers
removing unneeded constraints from mbeddr.core.statements
removing unneeded constraints from mbeddr.core.udt
removing unneeded constraints from mbeddr.core.buildconfig
removing unneeded constraints from mbeddr.core.unittest
removing unneeded constraints from mbeddr.core.util