declarative contract implementation for functions
moved contract_context into the concrete_contract object
started implementation of class contract