Core structure inference code, now in Scala, and now with simplification rules.  Massively easier to change than Java version
Create trait of base types that carries parameterized or parsed concrete values.