adds base:Data.Maybe to libs_env
adds base:GHC/List to libs_env
ghc-prim:GHC.Types.I#
Adds ghc-prim:GHC.Prim.+# - semantics proved correct by computing