lrm: expound on the type system