Update status:
 * generic lambdas are now partially supported
 * add papers from formal motions in committee