packages feed

alms-0.6.1: TODO

 - some termination checking for type operators