new file_system
updated todo
updated RELEASE_NOTES
callable->clause, spec**/{theory->context}_modules
removed Context#functor
removed discontiguous
cleaned up assert
removed implicit mode
removed amend
using instane_eval instead of instance_exec
removed prefix functors
removed context inclusion
spec for inclusion of variables in custom classes
removed last_predicate
removed public_interface
removed check_modules, made create_procedure protected
removed private predicates
removed clear
added some more proxy methods to simple_procedure
updated specs