semantic: Document extyper functions.