annotates functions with current capabilities
Loads libs GHC.Classes and GHC.Num