small
Merge branch 'prototype' of https://github.com/eskang/validAlloy into prototype
Names updated