Updated sbt version to 0.13.1
Updated xsbt plugin version
Added type annotations to Calculator methods