semantic: Tag functions as abstract, error if their bodies aren't empty.