Sem: type identifiers also ok now inside bodies