Added some instrumentation, made some fixes.
Moved source to a better package.
Started some naive modelling and added support for inlined constants.
More work on inlined constant support.
Fixed the constants issue. Various refactorings and fixes.