Added basic contracts, basic services, basic functionality. Updated to latest MSpec.