0.1 alpha 2

Milestone with issues list - Maven - Javadoc

*new* type hierarchy
*new* analysis infrastructure
*new* built-in type inference
*new* analysis report and .dot graphs