Categories within PRE

Types within PRE