Some Documentation for Selma runtime classes