Core library for A Programming Language