RepLib-0.5.4: Generic programming library with representation types