Simplify _semantic_helper and add a Type alias to each TypeExp.