Fix for the latest version of Idris
Add prompt function
Add function forgetBoundData
Visualization setup