shaded area test problems
- added handling for ratio equations in known value acquisition
- handle case for 'upside-down F' intersection when detecting corresponding angles of parallel lines
- small fix in transitive substitution for creating equations