Interface to the essential parts of the Feldspar language. High-level libraries have to be imported separately.