Initial pieces of System A

Not tested code (so be careful).