Add lib/interactive.ab. #316