Reworked Term to use Dependent rewrite systems, Removed contexts from Condition and Formula (no longer needed with Dependent). Removed normalization