update for last Idris + lesser fixes