Initial commit; added sbt machinery.
Added HM typesystem.
Added new code for H-M expressions.