Internal => Abstract

To be in line with how Agda calls things.