add a basic version of the alloy integration functionality