Typable learning log, evidence and reflection