This is a list of open problems. This mainly lists known missing pieces and design flaws. 1. Missing binding to libform