apps: enabled console input for sbt; started annotating formulae
Merge remote-tracking branch 'origin/dev' into dev