[FOLD] add is_constructible
[FOLD] aged